Mutual Opacity between Multiple Adversaries

We investigate opacity, an information-flow privacy property, in a setting where there are two competing agents or adversaries whose objective is to hide their secrets and expose the of other agent. Each agent has only partial information about state system. The can achieve by enabling disabling events from set controllable events. examine different scenarios. In first problem, passive with no control capabilities, we seek global controller enforce mutual opacity. second formerly autonomous have capabilities. plausibility controllers, one for each agent, see if synthesize winning strategy so that adversary always discover without revealing its own.